21. Complex networks X :
پدیدآورنده : Sean P. Cornelius, Clara Granell Martorell, Jesús Gómez-Gardeñes, Bruno Gonçalves, editors.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Computer networks, Congresses.,Online social networks, Congresses.,Computer networks.,Online social networks.
رده :
TK5105
.
5
22. Complexity of computation
پدیدآورنده : edited by Richard M. Karp
کتابخانه: (طهران)
موضوع : Congresses ، Machine theory,Congresses ، Computer science -- Mathematics,Numerical analysis ، Electronic data processing
رده :
QA
267
.
C57
23. Computational and information technologies in science, engineering and education :
پدیدآورنده : Yuri Shokin, Zhassulan Shaimardanov (eds.).
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Technology-- Computer simulation, Congresses.,Technology-- Mathematical models, Congresses.,Technology-- Computer simulation.,Technology-- Mathematical models.
رده :
T57
24. Computational complexity
پدیدآورنده :
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (طهران)
موضوع : ، Electronic digital computers-- Programming-- Congresses,، Electronic data processing-- Mathemaitcs-- Congresses,، Electronic data processing-- Numerical analysis-- Congresses
رده :
QA
76
.
5
.
C671
1971
25. Computational diffusion MRI :
پدیدآورنده : Enrico Kaden, Francesco Grusso, Lipeng Ning, Chantal M.W. Tax, Jelle Veraart, editors.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Diffusion magnetic resonance imaging, Congresses.,Computational Biology/Bioinformatics.,Computational Mathematics and Numerical Analysis.,Image Processing and Computer Vision.,Mathematical and Computational Biology.,Mathematics.,Statistics for Life Sciences, Medicine, Health Sciences.,Diffusion magnetic resonance imaging.,Image processing.,Life sciences: general issues.,Maths for scientists.,NATURE-- Reference.,Numerical analysis.,Probability & statistics.,SCIENCE-- Life Sciences-- Biology.,SCIENCE-- Life Sciences-- General.
رده :
RC386
.
6
.
M34
26. Computer Aided Verification :
پدیدآورنده : Isil Dillig, Serdar Tasiran (eds.).
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Artificial intelligence.,Computer industry.,Computer logic.,Computer programs-- Verification, Congresses.,Computer science.,Logic design.,Software engineering.,Logic in AI.,Logics and Meanings of Programs.,Mathematical Logic and Formal Languages.,Software Engineering.,System Performance and Evaluation.,The Computing Profession.,Artificial intelligence.,Computer industry.,Computer logic.,Computer programs-- Verification.,Computer science.,Logic design.,Software engineering.
رده :
QA76
.
758
.
C38
2019
27. Computer Arithmetic and self-Validating Numerical Methoods
پدیدآورنده : / edited by Christian Ullrich
کتابخانه: کتابخانه مرکزی پردیس 1 فنی دانشگاه تهران (طهران)
موضوع : Computer Arithmetic congresses,Numerical Analysis congresses
رده :
QA
76
.
9
.
C62C663
1990
28. Computer algebra in scientific computing :
پدیدآورنده : Victor G. Ganzha, Ernst W. Matr, Evgenii V. Vorozhtsov (eds.).
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Algebra -- Data processing -- Congresses.,Algebra -- Data processing.,Science -- Data processing -- Congresses.
29. Computer arithmetic and self-validating numerical methods
پدیدآورنده :
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (طهران)
موضوع : ، Computer arithmetic-- Congresses,، Numerical analysis-- Congresses
رده :
QA
76
.
9
.
C62
.
C663
1990
30. Computer engineering and technology :
پدیدآورنده : Weixia Xu, Liquan Xiao, Jinwen Li, Zhenzhen Zhu (eds.).
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Computer engineering, Congresses.,Information technology, Congresses.,Computer engineering.,Information technology.
رده :
TK7885
.
A1
31. Computing methods in applied science and engineering. International symposium, Versailles, December 17-21, 1973
پدیدآورنده :
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (طهران)
موضوع : ، Mathematical analysis-- Congresses,، Numerical analysis-- Congresses,، Engineering mathematics-- Congresses
رده :
QA
300
.
C63
32. Computing methods in applied science and engineering . International symposium, Versialles , dec , 17-21,1973
پدیدآورنده :
کتابخانه: كتابخانه مركزي و مركز اسناد دانشگاه الزهراء (س) (طهران)
موضوع : ، Mathematical analysis - Congresses,، Numerical analysis - Congresses,، Englineering Mathamtics - Congresses
رده :
QA
300
.
C63
33. Computing with foresight and industry :
پدیدآورنده : Florin Manea, Barnaby Martin, Daniel Paulusma, Giuseppe Primiero, (eds.).
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Computable functions, Congresses.,Computer science-- Mathematics, Congresses.,Computable functions.,Computer science-- Mathematics.
رده :
QA9
.
59
.
C67
2019
34. Conceptual and Numerical Analysis of Data :
پدیدآورنده : edited by Otto Optiz.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Content analysis (Communication) -- Congresses.,Mathematical statistics -- Congresses.,Statistics.
35. Design and implementation of symbolic computation systems :
پدیدآورنده : John Fitch
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Mathematics -- Data processing -- Congresses.,Numerical analysis -- Congresses -- Data processing.,System design -- Congresses.
36. Design and implementation of symbolic computation systems :
پدیدآورنده : A. Miola, (ed.).
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Mathematics-- Data processing, Congresses.,Numerical analysis-- Data processing, Congresses.,System design, Congresses.
رده :
QA76
.
9
.
S88
I576
1990
37. Design and implementation of symbolic computation systems: International Symposium DISCO' 90, Capri, Italy, April 10-12, 1990: Proceedings
پدیدآورنده : A. Miola, )ed.(
کتابخانه: (طهران)
موضوع : Congresses ، System design,Data processing -- Congresses ، Mathematics,Data processing -- Congresses ، Numerical analysis
رده :
QA
76
.
L28
Vol
.
429
38. Design and implementation of symbolic computation systems : International Symposium DISCO 90, Capri, Italy, April 10-12, 1990 : proceedings
پدیدآورنده : A. Miola, )Ed.(
کتابخانه: (طهران)
موضوع : System design - Congresses , Mathematics - Data processing - Congresses , Numerical analysis - Data processing - Congresses
رده :
QA
76
.
9
.
S88
I576
1990
39. Design and implementation of symbolic computation systems: International Symposium DISCO '90, Capri, Italy, April 10-12, 1990: proceedings
پدیدآورنده :
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (طهران)
موضوع : Congresses ، System design,Data processing Congresses ، Mathematics,Data processing Congresses ، Numerical analysis
رده :
QA
76
.
9
.
S88
.
I576
1990
40. Design and implementation of symbolic computation systems :International Symposium, DISCO '93, Gmunden, Austria, September 15-17, 1993 : proceedings. ]CD[
پدیدآورنده : Alfonso Miola, ed
کتابخانه: كتابخانه و مركز اسناد دانشگاه كردستان (کردستان)
موضوع : Congresses ، System design,Data processing Congresses ، Mathematics,Data processing Congresses ، Numerical analysis
رده :
QA76
.
9
.
S88
I576
1993
